首页> 外文OA文献 >SAT-based verification for timed component connectors

【2h】

SAT-based verification for timed component connectors

机译：基于SAT的定时组件连接器验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stephanie Kemper;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SAT-based verification for timed component connectors [J] . S. Kemper Science of Computer Programming . 2012,第7a8期

机译：基于SAT的定时组件连接器验证
2. Modeling and verification of component connectors in Coq [J] . Yi Li, Meng Sun Science of Computer Programming . 2015,第DECa1PTa3期

机译：Coq中组件连接器的建模和验证
3. SAT-Based Fault Equivalence Checking in Functional Safety Verification [J] . Ai Quoc Dao, Mark Po-Hung Lin, Alan Mishchenko IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2018,第12期

机译：功能安全验证中基于SAT的故障等效检查
4. SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems [C] . Agnieszka M. Zbrzezny, Andrzej Zbrzezny IEEE/ACS International Conference on Computer Systems and Applications . 2018

机译：基于SAT的BMC方法验证多Agent系统的实时性
5. Strategies for SAT-based formal verification. [D] . Vimjam, Vishnu C. 2007

机译：基于SAT的形式验证的策略。
6. Millisecond Timescale Motions Connect Amino Acid Interaction Networks in Alpha Tryptophan Synthase [O] . Kathleen F. ORourke, Jennifer M. Axe, Rebecca N. DAmico, 2018

机译：毫秒级时标运动连接Alpha色氨酸合酶中的氨基酸相互作用网络
7. SAT-based Verification for Timed Component Connectors [O] . Kemper Stephanie 2009

机译：定时组件连接器的基于SAT的验证
8. ESA-ELECTRONIC COMPONENT DATABANK CONNECTORS REFERENCE BOOK (SUPPLEMENT TO THE "PASSIVE COMPONENT REFERENCE BOOK") [R] . 1976

机译：Esa-ELECTRONIC COmpONENT DaTaBaNK连接器参考书（“被动组件参考书”的补充）

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号